翻訳と辞書
Words near each other
・ George Nash
・ George Nash (cricketer)
・ George Nassar
・ George Nathan
・ George Nattin
・ George Nattin, Jr.
・ George Nayeja
・ George Nayler
・ George Naylor
・ George Nazos
・ George Naʻope
・ George Ndah
・ George Ndaira
・ George Neal
・ George Neale, Jr., House
George Necula
・ George Neczyporuk
・ George Nedungatt
・ George Needham
・ George Needham (businessman)
・ George Needham (footballer)
・ George Neel, Jr.
・ George Negus
・ George Negus Tonight
・ George Neil Jenkins
・ George Neill
・ George Neilly
・ George Neilson
・ George Nelson
・ George Nelson (astronaut)


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

George Necula : ウィキペディア英語版
George Necula

George Ciprian Necula is a Romanian computer scientist and professor at the University of California, Berkeley who does research in the area of programming languages and software engineering, with a particular focus on software verification and formal methods. He is best known for his Ph.D. thesis work first describing proof-carrying code,〔George C. Necula. ''(Compiling with Proofs )''. PhD thesis, School of Computer Science, Carnegie Mellon Univ., Sept. 1998.〕 a work that received the 2007 SIGPLAN Most Influential POPL Paper Award.
== Life and work ==
Originally from Baia Mare, Romania, Necula attended the Polytechnic University of Bucharest before coming to Carnegie Mellon University in the United States to complete his Ph.D. under programming languages researcher Peter Lee. His Ph.D. thesis first describing proof-carrying code was influential as a mechanism to allow untrusted machine code to run safely without performance overhead. He joined as faculty at the University of California, Berkeley in 1998.
More recently, Necula's work has focused on open-source analysis, verification, and transformation tools for C, including the C Intermediate Language (CIL), CCured (), and Deputy ().

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「George Necula」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.